perm filename CMR10.XGP[MF,DEK] blob
sn#484246 filedate 1979-10-25 generic text, type T, neo UTF8
/LMAR=50/TMAR=50/RMAR=1700/BMAR=1/PMAR=0/XLINE=0/FONT#0=NGR13/FONT#1=FIG/END) ␈ε↓
␈β2␈↓ d␈εOctober 25, 1979 15:13:01 CMR10.XGP[MF,DEK] Page 1 "The letter A"␈ε↓
␈β↓H␈↓ ↓H␈↓ α IEEEEEEEEEEEEEEEEEEEAEEEEEEEEEEEEEEEEEEEAEEEEEEEEEEEEEEEEEEEAEEEEEEEEEEEEEEEEEEAEEEEEEEEEEEEEEEEEEEAEEEEEEEEEEEEEEEEEEEAEEEEEEEEEEEEEEEEEEEAEEEEEEEEEEEEEEEEEEEAEEEEEEEEEEEEEEEEEEEAEEEEEEEEEEEEEEEEEEAEEEEEEEEEEEEEEEEEEEAEEEEEEEEEEEEEEEEEEEAEEEEEEEEEEEEEEEEEEEC
␈β↓L␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ␈↓
∀J
␈β↓P␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ␈↓
∀J
␈β↓T␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ␈↓
∀J
␈β↓X␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ␈↓
∀J
␈β↓\␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ␈↓
∀J
␈β↓`␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ␈↓
∀J
␈β↓d␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ␈↓
∀J
␈β↓h␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ␈↓
∀J
␈β↓l␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ␈↓
∀J
␈β↓p␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ␈↓
∀J
␈β↓t␈↓ ¬H2
␈β↓t␈↓ ε∧3
␈β↓t␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ␈↓
∀J
␈β↓x␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ␈↓
∀J
␈β↓|␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ␈↓
∀J
␈βα␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ␈↓
∀J
␈βα∧␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ∧HJ␈↓ ¬_N␈↓ ¬hN␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ␈↓
∀J
␈βαλ␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ∧HJ␈↓ ελIAAAC␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ␈↓
∀J
␈βα ␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ∧HJ␈↓ ε∧IRPC␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ␈↓
∀J
␈βα⊂␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ∧HJ␈↓ εIRQPC␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ␈↓
∀J
␈βα∀␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ∧HJ␈↓ εHRQPB␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ␈↓
∀J
␈βα_␈↓ ¬T.␈↓ ε⊂.␈↓ ↓H␈↓ α HEEEEEEEEEEEEEEEEEEEPEEEEEEEEEEEEEEEEEEEPEEEEEEEEEEEEEEEEEEEPEEEEEEEEEEEEEEEEEEPEEEEEEEEG␈↓ ¬|ISPAEEEEPEEEEEEEEEEEEEEEEEEEPEEEEEEEEEEEEEEEEEEEPEEEEEEEEEEEEEEEEEEPEEEEEEEEEEEEEEEEEEEPEEEEEEEEEEEEEEEEEEEPEEEEEEEEEEEEEEEEEEEB
␈βα≤␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ∧HJ␈↓ ¬|HSPB␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ␈↓
∀J
␈βα ␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ∧HJ␈↓ ¬xISQB␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ␈↓
∀J
␈βα$␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ∧HJ␈↓ ¬xHSQPC␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ␈↓
∀J
␈βα(␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ∧HJ␈↓ ¬xHSQPB␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ␈↓
∀J
␈βα,␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ∧HJ␈↓ ¬tISRB␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ␈↓
∀J
␈βα0␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ∧HJ␈↓ ¬tHSRPC␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ␈↓
∀J
␈βα4␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ∧HJ␈↓ ¬tHSRPB␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ␈↓
∀J
␈βα8␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ∧HJ␈↓ ¬pISRQB␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ␈↓
∀J
␈βα<␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ∧HJ␈↓ ¬pHSRQPC␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ␈↓
∀J
␈βα@␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ∧HJ␈↓ ¬lITB␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ␈↓
∀J
␈βαD␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ∧HJ␈↓ ¬lHTPAB␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ␈↓
∀J
␈βαH␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ∧HJ␈↓ ¬lHTQB␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ␈↓
∀J
␈βαL␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ∧HJ␈↓ ¬hITQPB␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ␈↓
∀J
␈βαP␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ∧HJ␈↓ ¬hHTQPB␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ␈↓
∀J
␈βαT␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ∧HJ␈↓ ¬dITRB␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ␈↓
∀J
␈βαX␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ∧HJ␈↓ ¬dHTRPC␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ␈↓
∀J
␈βα\␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ∧HJ␈↓ ¬dHTRPB␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ␈↓
∀J
␈βα`␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ∧HJ␈↓ ¬`ITRQB␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ␈↓
∀J
␈βαd␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ∧HJ␈↓ ¬`HTRQPC␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ␈↓
∀J
␈βαh␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ∧HJ␈↓ ¬\ITSB␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ␈↓
∀J
␈βαl␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ∧HJ␈↓ ¬\HTSPC␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ␈↓
∀J
␈βαp␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ∧HJ␈↓ ¬\HTSPB␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ␈↓
∀J
␈βαt␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ∧HJ␈↓ ¬XITSQB␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ␈↓
∀J
␈βαx␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ∧HJ␈↓ ¬XHTSQPC␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ␈↓
∀J
␈βα|␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ∧HJ␈↓ ¬XHTSQPB␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ␈↓
∀J
␈ββ␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ∧HN␈↓ ¬TITSRB␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ␈↓
∀J
␈ββ∧␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ¬THTSRPC␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ␈↓
∀J
␈ββλ␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ¬PITSRQB␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ␈↓
∀J
␈ββ ␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ¬PHTSRQPC␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ␈↓
∀J
␈ββ⊂␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ¬PHTSRQPB␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ␈↓
∀J
␈ββ∀␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ¬LIUB␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ␈↓
∀J
␈ββ_␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ¬LHUPC␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ␈↓
∀J
␈ββ≤␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ¬HIUQB␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ␈↓
∀J
␈ββ ␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ¬HHUQPC␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ␈↓
∀J
␈ββ$␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ¬HHUQPB␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ␈↓
∀J
␈ββ(␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ¬DIURB␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ␈↓
∀J
␈ββ,␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ¬DHURPC␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ␈↓
∀J
␈ββ0␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ¬@IURQB␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ␈↓
∀J
␈ββ4␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ¬@HURQPC␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ␈↓
∀J
␈ββ8␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ¬@HURQPB␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ␈↓
∀J
␈ββ<␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ¬<IUSB␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ␈↓
∀J
␈ββ@␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ¬<HUSPC␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ␈↓
∀J
␈ββD␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ¬<HUSPB␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ␈↓
∀J
␈ββH␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ¬8IUSQB␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ␈↓
∀J
␈ββL␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ¬8HUSQPC␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ␈↓
∀J
␈ββP␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ¬4IUSRB␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ␈↓
∀J
␈ββT␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ¬4HUSRPC␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ␈↓
∀J
␈ββX␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ¬4HUSRPB␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ␈↓
∀J
␈ββ\␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ¬0IUSRQB␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ␈↓
∀J
␈ββ`␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ¬0HUSRQPC␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ␈↓
∀J
␈ββd␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ¬,ISQDURPB␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ␈↓
∀J
␈ββh␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ¬,HSPF␈↓ ¬\HURPC␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ␈↓
∀J
␈ββl␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ¬,HSB␈↓ ¬\LURPB␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ␈↓
∀J
␈ββp␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ¬(ISPF␈↓ ¬`HURB␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ␈↓
∀J
␈ββt␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ¬(HSB␈↓ ¬`HURPC␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ␈↓
∀J
␈ββx␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ¬(HSB␈↓ ¬`LURPB␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ␈↓
∀J
␈ββ|␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ¬$ISPF␈↓ ¬dHURB␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ␈↓
∀J
␈β∧␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ¬$HSB␈↓ ¬dHURPC␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ␈↓
∀J
␈β∧∧␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ¬ ISPB␈↓ ¬dLURPB␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ␈↓
∀J
␈β∧λ␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ¬ HSPF␈↓ ¬hHURPC␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ␈↓
∀J
␈β∧ ␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ¬ HSB␈↓ ¬hHURPB␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ␈↓
∀J
␈β∧⊂␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ¬≤ISPF␈↓ ¬hHURPB␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ␈↓
∀J
␈β∧∀␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ¬≤HSB␈↓ ¬hHURQAB␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ␈↓
∀J
␈β∧_␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ¬_ISPB␈↓ ¬hHDURQB␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ␈↓
∀J
␈β∧≤␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ¬_HSPF␈↓ ¬hJ␈↓ ¬pHURPB␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ␈↓
∀J
␈β∧ ␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ¬_HSB␈↓ ¬hJ␈↓ ¬pLURPB␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ␈↓
∀J
␈β∧$␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ¬∀ISPF␈↓ ¬hJ␈↓ ¬tHURB␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ␈↓
∀J
␈β∧(␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ¬∀HSB␈↓ ¬hJ␈↓ ¬tHURPC␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ␈↓
∀J
␈β∧,␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ¬⊂ISPB␈↓ ¬hJ␈↓ ¬tLURPB␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ␈↓
∀J
␈β∧0␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ¬⊂HSPF␈↓ ¬hJ␈↓ ¬xHURPC␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ␈↓
∀J
␈β∧4␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ¬⊂HSB␈↓ ¬hJ␈↓ ¬xLURPB␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ␈↓
∀J
␈β∧8␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ¬ ISPF␈↓ ¬hJ␈↓ ¬|HURB␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ␈↓
∀J
␈β∧<␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ¬ HSB␈↓ ¬hJ␈↓ ¬|HURPC␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ␈↓
∀J
␈β∧@␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ¬ HSB␈↓ ¬hJ␈↓ ¬|LURPB␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ␈↓
∀J
␈β∧D␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|N␈↓ ¬λISPF␈↓ ¬hJ␈↓ εHURB␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ␈↓
∀J
␈β∧H␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ ¬λHSB␈↓ ¬hJ␈↓ εHURPC␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ␈↓
∀J
␈β∧L␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ ¬∧ISPB␈↓ ¬hJ␈↓ εLURPB␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ␈↓
∀J
␈β∧P␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ ¬∧HSPF␈↓ ¬hJ␈↓ ε∧HURPC␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ␈↓
∀J
␈β∧T␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ ¬∧HSB␈↓ ¬hJ␈↓ ε∧LURPB␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ␈↓
∀J
␈β∧X␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ ¬ISPF␈↓ ¬hJ␈↓ ελHURB␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ␈↓
∀J
␈β∧\␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ ¬HSB␈↓ ¬hJ␈↓ ελHURPC␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ␈↓
∀J
␈β∧`␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ ∧|ISPB␈↓ ¬hJ␈↓ ελLURPB␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ␈↓
∀J
␈β∧d␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ ∧|HSPF␈↓ ¬hJ␈↓ ε HURPC␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ␈↓
∀J
␈β∧h␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ ∧|HSB␈↓ ¬hJ␈↓ ε LURPB␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ␈↓
∀J
␈β∧l␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ ∧xISPF␈↓ ¬hJ␈↓ ε⊂HURB␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ␈↓
∀J
␈β∧p␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ ∧xHSB␈↓ ¬hJ␈↓ ε⊂HURPC␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ␈↓
∀J
␈β∧t␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ ∧tISPB␈↓ ¬hJ␈↓ ε⊂LURPB␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ␈↓
∀J
␈β∧x␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ ∧tHSPB␈↓ ¬hJ␈↓ ε∀HURPC␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ␈↓
∀J
␈β∧|␈↓ ↓H␈↓ α HEEEEEEEEEEEEEEEEEEEPEEEEEEEEEEEEEEEEEEEPEEEEEEEEEEEEEEG␈↓ ∧tHSPDEEEEEEEEEEEEEEEEEEPEEEEEEEEEEDURQEEEEEEEEEEPEEEEEEEEEEEEEEEEEEPEEEEEEEEEEEEEEEEEEEPEEEEEEEEEEEEEEEEEEEPEEEEEEEEEEEEEEEEEEEB
␈β¬␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ ∧pISPB␈↓ ¬hJ␈↓ ε_HURB␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ␈↓
∀J
␈β¬∧␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ ∧pHSPB␈↓ ¬hJ␈↓ ε_HURPC␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ␈↓
∀J
␈β¬λ␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ ∧pHSPB␈↓ ¬hJ␈↓ ε_LURPB␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ␈↓
∀J
␈β¬ ␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ ∧lISPDB␈↓ ¬hJ␈↓ ε≤HURB␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ␈↓
∀J
␈β¬⊂␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ ∧lHSB␈↓ ¬_J␈↓ ¬hJ␈↓ ε≤HURPC␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ␈↓
∀J
␈β¬∀␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ ∧hISPB␈↓ ¬_J␈↓ ¬hJ␈↓ ε≤LURPB␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ␈↓
∀J
␈β¬_␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ ∧hHSPF␈↓ ¬_J␈↓ ¬hJ␈↓ ε HURPC␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ␈↓
∀J
␈β¬≤␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ ∧hHSB␈↓ ¬_J␈↓ ¬hJ␈↓ ε LURPB␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ␈↓
∀J
␈β¬ ␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ ∧dISPF␈↓ ¬_J␈↓ ¬hJ␈↓ ε$HURB␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ␈↓
∀J
␈β¬$␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ ∧dHSB␈↓ ¬_J␈↓ ¬hJ␈↓ ε$HURPC␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ␈↓
∀J
␈β¬(␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ ∧`ISPB␈↓ ¬_J␈↓ ¬hJ␈↓ ε$LURPB␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ␈↓
∀J
␈β¬,␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ ∧`HSPF␈↓ ¬_J␈↓ ¬hJ␈↓ ε(HURPC␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ␈↓
∀J
␈β¬0␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ ∧`HSB␈↓ ¬_J␈↓ ¬hJ␈↓ ε(LURPB␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ␈↓
∀J
␈β¬4␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ ∧\ISPF␈↓ ¬_J␈↓ ¬hJ␈↓ ε,HURB␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ␈↓
∀J
␈β¬8␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ ∧\HSB␈↓ ¬_J␈↓ ¬hJ␈↓ ε,HURPC␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ␈↓
∀J
␈β¬<␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ ∧\HSB␈↓ ¬_J␈↓ ¬hJ␈↓ ε,LURPB␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ␈↓
∀J
␈β¬@␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ ∧XISPF␈↓ ¬_J␈↓ ¬hJ␈↓ ε0HURB␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ␈↓
∀J
␈β¬D␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ ∧XHSB␈↓ ¬_J␈↓ ¬hJ␈↓ ε0HURPC␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ␈↓
∀J
␈β¬H␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ ∧TISPB␈↓ ¬_J␈↓ ¬hJ␈↓ ε0LURPB␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ␈↓
∀J
␈β¬L␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ ∧THSPF␈↓ ¬_J␈↓ ¬hJ␈↓ ε4HURPC␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ␈↓
∀J
␈β¬P␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ ∧THSB␈↓ ¬_J␈↓ ¬hJ␈↓ ε4LURPB␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ␈↓
∀J
␈β¬T␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ ∧PISPF␈↓ ¬_J␈↓ ¬hJ␈↓ ε8HURB␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ␈↓
∀J
␈β¬X␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ ∧PHSB␈↓ ¬_J␈↓ ¬hJ␈↓ ε8HURPC␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ␈↓
∀J
␈β¬\␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ ∧LISPB␈↓ ¬_J␈↓ ¬hJ␈↓ ε8HURPB␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ␈↓
∀J
␈β¬`␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ ∧LHSPF␈↓ ¬_J␈↓ ¬hJ␈↓ ε8HURQAB␈↓ λ$J␈↓ λtJ␈↓ DJ␈↓
∀J
␈β¬d␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ ∧LHSB␈↓ ¬_J␈↓ ¬hJ␈↓ ε8HDURQB␈↓ λ$J␈↓ λtJ␈↓ DJ␈↓
∀J
␈β¬h␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ ∧HISPF␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ ε@HURPB␈↓ λ$J␈↓ λtJ␈↓ DJ␈↓
∀J
␈β¬l␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ ∧HHSB␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ ε@HURPB␈↓ λ$J␈↓ λtJ␈↓ DJ␈↓
∀J
␈β¬p␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ ∧DISPB␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ ε@LURPB␈↓ λ$J␈↓ λtJ␈↓ DJ␈↓
∀J
␈β¬t␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ ∧DHSPF␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ εDHURPC␈↓ λ$J␈↓ λtJ␈↓ DJ␈↓
∀J
␈β¬x␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ ∧DHSB␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ εDLURPB␈↓ λ$J␈↓ λtJ␈↓ DJ␈↓
∀J
␈β¬|␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ ∧@ISPF␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ εHHURB␈↓ λ$J␈↓ λtJ␈↓ DJ␈↓
∀J
␈βε␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ ∧@HSB␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ εHHURPC␈↓ λ$J␈↓ λtJ␈↓ DJ␈↓
∀J
␈βε∧␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ ∧@HSB␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ εHLURPB␈↓ λ$J␈↓ λtJ␈↓ DJ␈↓
∀J
␈βελ␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ ∧<ISPF␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ εLHURB␈↓ λ$J␈↓ λtJ␈↓ DJ␈↓
∀J
␈βε ␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ ∧<HSB␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ εLHURPC␈↓ λ$J␈↓ λtJ␈↓ DJ␈↓
∀J
␈βε⊂␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ ∧8ISPB␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ εLLURPB␈↓ λ$J␈↓ λtJ␈↓ DJ␈↓
∀J
␈βε∀␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ ∧8HSPF␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ εPHURPC␈↓ λ$J␈↓ λtJ␈↓ DJ␈↓
∀J
␈βε_␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,N␈↓ ∧8HSB␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ εPLURPB␈↓ λ$J␈↓ λtJ␈↓ DJ␈↓
∀J
␈βε≤␈↓ ↓H␈↓ α J␈↓ α\J␈↓ ∧4ISPF␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ εTHURB␈↓ λ$J␈↓ λtJ␈↓ DJ␈↓
∀J
␈βε ␈↓ ↓H␈↓ α J␈↓ α\J␈↓ ∧4HSB␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ εTHURPC␈↓ λ$J␈↓ λtJ␈↓ DJ␈↓
∀J
␈βε$␈↓ ↓H␈↓ α J␈↓ α\J␈↓ ∧0ISPB␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ εTLURPB␈↓ λ$J␈↓ λtJ␈↓ DJ␈↓
∀J
␈βε(␈↓ ↓H␈↓ α J␈↓ α\J␈↓ ∧0HSPF␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ εXHURPC␈↓ λ$J␈↓ λtJ␈↓ DJ␈↓
∀J
␈βε,␈↓ ↓H␈↓ α J␈↓ α\J␈↓ ∧0HSB␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ εXLURPB␈↓ λ$J␈↓ λtJ␈↓ DJ␈↓
∀J
␈βε0␈↓ ↓H␈↓ α J␈↓ α\J␈↓ ∧,ISPF␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ ε\HURB␈↓ λ$J␈↓ λtJ␈↓ DJ␈↓
∀J
␈βε4␈↓ ↓H␈↓ α J␈↓ α\J␈↓ ∧,HSB␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ ε\HURPC␈↓ λ$J␈↓ λtJ␈↓ DJ␈↓
∀J
␈βε8␈↓ ↓H␈↓ α J␈↓ α\J␈↓ ∧(ISPB␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ ε\LURPB␈↓ λ$J␈↓ λtJ␈↓ DJ␈↓
∀J
␈βε<␈↓ ↓H␈↓ α J␈↓ α\J␈↓ ∧(HSPF␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ ε`HURPC␈↓ λ$J␈↓ λtJ␈↓ DJ␈↓
∀J
␈βε@␈↓ ↓H␈↓ α J␈↓ α\J␈↓ ∧(HSB␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ ε`LURPB␈↓ λ$J␈↓ λtJ␈↓ DJ␈↓
∀J
␈βεD␈↓ ↓H␈↓ α J␈↓ α\J␈↓ ∧$ISPF␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ εdHURB␈↓ λ$J␈↓ λtJ␈↓ DJ␈↓
∀J
␈βεH␈↓ ↓H␈↓ α J␈↓ α\J␈↓ ∧$HSB␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ εdHURPC␈↓ λ$J␈↓ λtJ␈↓ DJ␈↓
∀J
␈βεL␈↓ ↓H␈↓ α J␈↓ α\J␈↓ ∧$HSB␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ εdLURPB␈↓ λ$J␈↓ λtJ␈↓ DJ␈↓
∀J
␈βεP␈↓ ↓H␈↓ α J␈↓ α\J␈↓ ∧ ISPB␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ εhHURB␈↓ λ$J␈↓ λtJ␈↓ DJ␈↓
∀J
␈βεT␈↓ ↓H␈↓ α J␈↓ α\J␈↓ ∧ HSPB␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ εhHURPC␈↓ λ$J␈↓ λtJ␈↓ DJ␈↓
∀J
␈βεX␈↓ ↓H␈↓ α J␈↓ α\J␈↓ ∧≤ISQB␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ εhLURPB␈↓ λ$J␈↓ λtJ␈↓ DJ␈↓
∀J
␈βε\␈↓ ↓H␈↓ α J␈↓ α\J␈↓ ∧≤HSPDB␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ εlHURPC␈↓ λ$J␈↓ λtJ␈↓ DJ␈↓
∀J
␈βε`␈↓ ↓H␈↓ α J␈↓ α\J␈↓ ∧≤HSB␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ εlLURPB␈↓ λ$J␈↓ λtJ␈↓ DJ␈↓
∀J
␈βεd␈↓ ↓H␈↓ α J␈↓ α\J␈↓ ∧_ISPF␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ εpHURB␈↓ λ$J␈↓ λtJ␈↓ DJ␈↓
∀J
␈βεh␈↓ ↓H␈↓ α J␈↓ α\J␈↓ ∧_HSB␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ εpHURPC␈↓ λ$J␈↓ λtJ␈↓ DJ␈↓
∀J
␈βεl␈↓ ↓H␈↓ α J␈↓ α\J␈↓ ∧∀ISPB␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ εpLURPB␈↓ λ$J␈↓ λtJ␈↓ DJ␈↓
∀J
␈βεp␈↓ ∧⊂5
␈βεp␈↓ π<6
␈βεp␈↓ ↓H␈↓ α J␈↓ α\J␈↓ ∧∀HSPF␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ εtHURPC␈↓ λ$J␈↓ λtJ␈↓ DJ␈↓
∀J
␈βεt␈↓ ↓H␈↓ α J␈↓ α\J␈↓ ∧∀HSB␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ εtLURPB␈↓ λ$J␈↓ λtJ␈↓ DJ␈↓
∀J
␈βεx␈↓ ↓H␈↓ α J␈↓ α\J␈↓ ∧⊂ISPF␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ εxHURB␈↓ λ$J␈↓ λtJ␈↓ DJ␈↓
∀J
␈βε|␈↓ ↓H␈↓ α J␈↓ α\J␈↓ ∧⊂HSB␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ εxHURPC␈↓ λ$J␈↓ λtJ␈↓ DJ␈↓
∀J
␈βπ␈↓ ↓H␈↓ α J␈↓ α\J␈↓ ∧⊂HSB␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ εxHURPB␈↓ λ$J␈↓ λtJ␈↓ DJ␈↓
∀J
␈βπ∧␈↓ ↓H␈↓ α J␈↓ α\J␈↓ ∧ ISQAAAAPAAAAAAAAAAAAAAAAAAAPAAAAAAAAAAAAAAAAAAAPAAAAAAAAAAAAAAAAAAAPAAAAAAAAAAAAAAAURQB␈↓ λ$J␈↓ λtJ␈↓ DJ␈↓
∀J
␈βπλ␈↓ ↓H␈↓ α J␈↓ α\J␈↓ ∧ HUUUUPC␈↓ λ$J␈↓ λtJ␈↓ DJ␈↓
∀J
␈βπ ␈↓ ↓H␈↓ α J␈↓ α\J␈↓ ∧λIUUUUQB␈↓ λ$J␈↓ λtJ␈↓ DJ␈↓
∀J
␈βπ⊂␈↓ ↓H␈↓ α J␈↓ α\J␈↓ ∧λHUUUUQPC␈↓ λ$J␈↓ λtJ␈↓ DJ␈↓
∀J
␈βπ∀␈↓ ∧≤.␈↓ πH.␈↓ ↓H␈↓ α HEEEEEEEEEEEEEEEEEEEPEEEEEEEEG␈↓ ∧λHUUUUREEPEEEEEEEEEEEEEEEEEEEPEEEEEEEEEEEEEEEEEEEPEEEEEEEEEEEEEEEEEEEB
␈βπ_␈↓ ↓H␈↓ α J␈↓ α\J␈↓ ∧∧IUUUURB␈↓ λ$J␈↓ λtJ␈↓ DJ␈↓
∀J
␈βπ≤␈↓ ↓H␈↓ α J␈↓ α\J␈↓ ∧∧HUUUURPC␈↓ λ$J␈↓ λtJ␈↓ DJ␈↓
∀J
␈βπ ␈↓ ↓H␈↓ α J␈↓ α\J␈↓ ∧IUUUURQB␈↓ λ$J␈↓ λtJ␈↓ DJ␈↓
∀J
␈βπ$␈↓ ↓H␈↓ α J␈↓ α\J␈↓ ∧HSPDDDDDDDDPDDDDDDDDDDDDDDDDDDDPDDDDDDDDDDDDDDDDDDDPDDDDDDDDDDDDDDDDDDDPDDDDDDDDDDDDDDDDDDDURQAB␈↓ λtJ␈↓ DJ␈↓
∀J
␈βπ(␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,K␈↓ β|ISPB␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλHURQB␈↓ λtJ␈↓ DJ␈↓
∀J
␈βπ,␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|HSPF␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλHURQB␈↓ λtJ␈↓ DJ␈↓
∀J
␈βπ0␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|HSB␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλHURQB␈↓ λtJ␈↓ DJ␈↓
∀J
␈βπ4␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ βxISPB␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλHDURPB␈↓ λtJ␈↓ DJ␈↓
∀J
␈βπ8␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ βxHSPF␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ π⊂HURPC␈↓ λtJ␈↓ DJ␈↓
∀J
␈βπ<␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ βxHSB␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ π⊂LURPB␈↓ λtJ␈↓ DJ␈↓
∀J
␈βπ@␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ βtISPF␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ π∀HURB␈↓ λtJ␈↓ DJ␈↓
∀J
␈βπD␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ βtHSB␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ π∀HURPC␈↓ λtJ␈↓ DJ␈↓
∀J
␈βπH␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ βtHSB␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ π∀LURPB␈↓ λtJ␈↓ DJ␈↓
∀J
␈βπL␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ βpISPF␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ π_HURB␈↓ λtJ␈↓ DJ␈↓
∀J
␈βπP␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ βpHSB␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ π_HURPC␈↓ λtJ␈↓ DJ␈↓
∀J
␈βπT␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ βlISPB␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ π_LURPB␈↓ λtJ␈↓ DJ␈↓
∀J
␈βπX␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ βlHSPF␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ π≤HURPC␈↓ λtJ␈↓ DJ␈↓
∀J
␈βπ\␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ βlHSB␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ π≤LURPB␈↓ λtJ␈↓ DJ␈↓
∀J
␈βπ`␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ βhISPF␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ π HURB␈↓ λtJ␈↓ DJ␈↓
∀J
␈βπd␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ βhHSB␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ π HURPC␈↓ λtJ␈↓ DJ␈↓
∀J
␈βπh␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ βdISPB␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ π LURPB␈↓ λtJ␈↓ DJ␈↓
∀J
␈βπl␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ βdHSPF␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ π$HURPC␈↓ λtJ␈↓ DJ␈↓
∀J
␈βπp␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ βdHSB␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ π$LURPB␈↓ λtJ␈↓ DJ␈↓
∀J
␈βπt␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β`ISPF␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ π(HURB␈↓ λtJ␈↓ DJ␈↓
∀J
␈βπx␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β`HSB␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ π(HURPC␈↓ λtJ␈↓ DJ␈↓
∀J
␈βπ|␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β\ISPB␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ π(LURPB␈↓ λtJ␈↓ DJ␈↓
∀J
␈βλ␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β\HSPF␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ π,HURPC␈↓ λtJ␈↓ DJ␈↓
∀J
␈βλ∧␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β\HSB␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ π,LURPB␈↓ λtJ␈↓ DJ␈↓
∀J
␈βλλ␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ βXISPF␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ π0HURB␈↓ λtJ␈↓ DJ␈↓
∀J
␈βλ ␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ βXHSB␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ π0HURPC␈↓ λtJ␈↓ DJ␈↓
∀J
␈βλ⊂␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ βXHSB␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ π0LURPB␈↓ λtJ␈↓ DJ␈↓
∀J
␈βλ∀␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ βTISPB␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ π4HURB␈↓ λtJ␈↓ DJ␈↓
∀J
␈βλ_␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ βTHSPB␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ π4HURPC␈↓ λtJ␈↓ DJ␈↓
∀J
␈βλ≤␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ βPISQB␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ π4LURPB␈↓ λtJ␈↓ DJ␈↓
∀J
␈βλ ␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ βPHSPDB␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ π8HURPC␈↓ λtJ␈↓ DJ␈↓
∀J
␈βλ$␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ βPHSB␈↓ β|J␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ π8LURPB␈↓ λtJ␈↓ DJ␈↓
∀J
␈βλ(␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ βLISPF␈↓ β|J␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ π<HURB␈↓ λtJ␈↓ DJ␈↓
∀J
␈βλ,␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ βLHSB␈↓ β|J␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ π<HURPC␈↓ λtJ␈↓ DJ␈↓
∀J
␈βλ0␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ βHISPB␈↓ β|J␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ π<LURPB␈↓ λtJ␈↓ DJ␈↓
∀J
␈βλ4␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ βHHSPF␈↓ β|J␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ π@HURPC␈↓ λtJ␈↓ DJ␈↓
∀J
␈βλ8␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ βHHSB␈↓ β|J␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ π@LURPB␈↓ λtJ␈↓ DJ␈↓
∀J
␈βλ<␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ βDISPF␈↓ β|J␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πDHURB␈↓ λtJ␈↓ DJ␈↓
∀J
␈βλ@␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ βDHSB␈↓ β|J␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πDHURPC␈↓ λtJ␈↓ DJ␈↓
∀J
␈βλD␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ βDHSB␈↓ β|J␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πDLURPB␈↓ λtJ␈↓ DJ␈↓
∀J
␈βλH␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β@ISPF␈↓ β|J␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πHHURB␈↓ λtJ␈↓ DJ␈↓
∀J
␈βλL␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β@HSB␈↓ β|J␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πHHURPC␈↓ λtJ␈↓ DJ␈↓
∀J
␈βλP␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β<ISPB␈↓ β|J␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πHLURPB␈↓ λtJ␈↓ DJ␈↓
∀J
␈βλT␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β<HSPF␈↓ β|J␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πLHURPC␈↓ λtJ␈↓ DJ␈↓
∀J
␈βλX␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β<HSB␈↓ β|J␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πLLURPB␈↓ λtJ␈↓ DJ␈↓
∀J
␈βλ\␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β8ISPF␈↓ β|J␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πPHURB␈↓ λtJ␈↓ DJ␈↓
∀J
␈βλ`␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β8HSB␈↓ β|J␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πPHURPC␈↓ λtJ␈↓ DJ␈↓
∀J
␈βλd␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β4ISPB␈↓ β|J␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πPLURPB␈↓ λtJ␈↓ DJ␈↓
∀J
␈βλh␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β4HSPF␈↓ β|J␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πTHURPC␈↓ λtJ␈↓ DJ␈↓
∀J
␈βλl␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β4HSB␈↓ β|J␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πTLURPB␈↓ λtJ␈↓ DJ␈↓
∀J
␈βλp␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,HASPF␈↓ β|J␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXHURB␈↓ λtJ␈↓ DJ␈↓
∀J
␈βλt␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,HSPB␈↓ β|J␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXHURPAB␈↓ DJ␈↓
∀J
␈βλx␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,HSPB␈↓ β|J␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXHURQB␈↓ DJ␈↓
∀J
␈βλ|␈↓ β∀a2
␈βλ|␈↓ π\c2
␈βλ|␈↓ λPd2
␈βλ|␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,HSPF␈↓ β|J␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXHURQB␈↓ DJ␈↓
∀J
␈β ␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,HSB␈↓ β|J␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXHDURPB␈↓ DJ␈↓
∀J
␈β ∧␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β(ISPF␈↓ β|J␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ π`HURB␈↓ DJ␈↓
∀J
␈β λ␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β(HSB␈↓ β|J␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ π`HURPC␈↓ DJ␈↓
∀J
␈β ␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β(HSB␈↓ β|J␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ π`LURPB␈↓ DJ␈↓
∀J
␈β ⊂␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β$ISPF␈↓ β|J␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ πdHURB␈↓ DJ␈↓
∀J
␈β ∀␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β$HSB␈↓ β|J␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ πdHURPC␈↓ DJ␈↓
∀J
␈β _␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β ISPB␈↓ β|J␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ πdLURQC␈↓ DJ␈↓
∀J
␈β ≤␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β HSPF␈↓ β|J␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ πhHURPB␈↓ DJ␈↓
∀J
␈β ␈↓ β0.␈↓ πx.␈↓ λl.␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β HSB␈↓ β|J␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ πhHURPB␈↓ DJ␈↓
∀J
␈β $␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β≤ISPF␈↓ β|J␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ πhLURQC␈↓ DJ␈↓
∀J
␈β (␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β≤HSB␈↓ β|J␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ πlHURPB␈↓ DJ␈↓
∀J
␈β ,␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β_ISPB␈↓ β|J␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ πlHURQC␈↓ DJ␈↓
∀J
␈β 0␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β∀ISQB␈↓ β|J␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ πlLURQB␈↓ DJ␈↓
∀J
␈β 4␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β∀HSQB␈↓ β|J␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ πpHURQC␈↓ DJ␈↓
∀J
␈β 8␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β⊂ISRC␈↓ β|J␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ πpHURQB␈↓ DJ␈↓
∀J
␈β <␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β ISRPB␈↓ β|J␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ πpHURQPC␈↓ DJ␈↓
∀J
␈β @␈↓ ↓H␈↓ α J␈↓ α\J␈↓ βλISRQB␈↓ β|J␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ πpHURQPB␈↓ DJ␈↓
∀J
␈β D␈↓ ↓H␈↓ α J␈↓ α\J␈↓ βλHSRQPC␈↓ β|J␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ πlIUSPC␈↓ DJ␈↓
∀J
␈β H␈↓ α4a1
␈β H␈↓ βλ1
␈β H␈↓ β|b1
␈β H␈↓ εtc1
␈β H␈↓ λD4
␈β H␈↓ 0d1
␈β H␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β∧ITPC␈↓ β|J␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ πlHUSPB␈↓ DJ␈↓
∀J
␈β L␈↓ ↓H␈↓ α J␈↓ α\J␈↓ α|IATQPC␈↓ β|J␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ πdIAUSQPAC␈↓ DJ␈↓
∀J
␈β P␈↓ ↓H␈↓ α J␈↓ α\J␈↓ αxITRQAAC␈↓ β|J␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πTIPAAUSRQPAC␈↓ DJ␈↓
∀J
␈β T␈↓ ↓H␈↓ α J␈↓ α\J␈↓ αhIAAATSQAAAAC␈↓ β|J␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ π<IAAAAAUTRPAAAC␈↓ DJ␈↓
∀J
␈β X␈↓ ↓H␈↓ α J␈↓ αTIAPAAUQPAAPAAAAC␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ π IAAAAAAUTSRQPAAAPAC␈↓
∀J
␈β \␈↓ ↓H␈↓ α J␈↓ αHIAAUTAAAAC␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλHAAAAAUUSRAAC␈↓
∀J
␈β `␈↓ ↓H␈↓ α J␈↓ αDIUTSC␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ π∧IUUTRPC␈↓
∀J
␈β d␈↓ ↓H␈↓ α J␈↓ α@IUTSQC␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πIUUTRQPC␈↓
∀J
␈β h␈↓ ↓H␈↓ α J␈↓ α@HUTSQB␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πHUUTRQPB␈↓
∀J
␈β l␈↓ αP.␈↓ β∀.␈↓ ∧_.␈↓ π⊂.␈↓ λP.␈↓ L.␈↓ ↓H␈↓ α J␈↓ α@HUTSQB␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πHUUTRQPB␈↓
∀J
␈β p␈↓ ↓H␈↓ α J␈↓ α@HUTSQB␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πHUUTRQPB␈↓
∀J
␈β t␈↓ ↓H␈↓ α J␈↓ α@LUTSQF␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πLUUTRQPF␈↓
∀J
␈β x␈↓ ↓H␈↓ α J␈↓ αDHUTSB␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ π∧HUUTRPB␈↓
∀J
␈β |␈↓ ↓H␈↓ α HEEEEEEEEEEEEEDDDDDDPDDDDDDDDDDDDDDDDDDDPDDDDDDDDDDDDDDDDDDDPDDDDDDDDDDDEEEEEEEPEEEEEEEEEEEEEEEEEEEPEEEEEEEEEEEEEEEEEEEPEEEEEEEEEEEEEEEEEEEPEEEEEEEEEEEEEEEEEEDPDDDDDDDDDDDDDDDDDDDPDDDDDDDDDDDDDDDDDDPDDDDDDDDDDDDDDDDDDDPDDDDDDDDDDDDDDDDDDDPDDDDDDEEEEEEEEEEEEEB
␈β
␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ␈↓
∀J
␈β
∧␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ␈↓
∀J
␈β
λ␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ␈↓
∀J
␈β
␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ␈↓
∀J
␈β
⊂␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ␈↓
∀J
␈β
∀␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ␈↓
∀J
␈β
_␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ␈↓
∀J
␈β
≤␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ␈↓
∀J
␈β
␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ␈↓
∀J
␈β
$␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ␈↓
∀J
␈β
(␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ␈↓
∀J
␈β
,␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ␈↓
∀J
␈β
0␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ␈↓
∀J
␈β
4␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ␈↓
∀J
␈β
8␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ␈↓
∀J
␈β
<␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ␈↓
∀J
␈β
@␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ␈↓
∀J
␈β
D␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ␈↓
∀J
␈β
H␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ␈↓
∀J
␈β
L␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ␈↓
∀J
␈β
P␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ␈↓
∀J
␈β
T␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ␈↓
∀J
␈β
X␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ␈↓
∀J
␈β
\␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ␈↓
∀J
␈β
`␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ␈↓
∀J
␈β
d␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ␈↓
∀J
␈β
h␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ␈↓
∀J
␈β
l␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ␈↓
∀J
␈β
p␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ␈↓
∀J
␈β
t␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ␈↓
∀J
␈β
x␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ␈↓
∀J
␈β
|␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ␈↓
∀J
␈β ␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ␈↓
∀J
␈β ∧␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ␈↓
∀J
␈β λ␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ␈↓
∀J
␈β ␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ␈↓
∀J
␈β ⊂␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ␈↓
∀J
␈β ∀␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ␈↓
∀J
␈β _␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ␈↓
∀J
␈β ≤␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ␈↓
∀J
␈β ␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ␈↓
∀J
␈β $␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ␈↓
∀J
␈β (␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ␈↓
∀J
␈β ,␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ␈↓
∀J
␈β 0␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ␈↓
∀J
␈β 4␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ␈↓
∀J
␈β 8␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ␈↓
∀J
␈β <␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ␈↓
∀J
␈β @␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ␈↓
∀J
␈β D␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ␈↓
∀J
␈β H␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ␈↓
∀J
␈β L␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ␈↓
∀J
␈β P␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ␈↓
∀J
␈β T␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ␈↓
∀J
␈β X␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ␈↓
∀J
␈β \␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ␈↓
∀J
␈β `␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ␈↓
∀J
␈β d␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ␈↓
∀J
␈β h␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ␈↓
∀J
␈β l␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ␈↓
∀J
␈β p␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ␈↓
∀J
␈β t␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ␈↓
∀J
␈β x␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ␈↓
∀J
␈β |␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ␈↓
∀J
␈β ␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ␈↓
∀J
␈β ∧␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ␈↓
∀J
␈β λ␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ␈↓
∀J
␈β ␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ␈↓
∀J
␈β ⊂␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ␈↓
∀J
␈β ∀␈↓ ↓H␈↓ α HEEEEEEEEEEEEEEEEEEEPEEEEEEEEEEEEEEEEEEEPEEEEEEEEEEEEEEEEEEEPEEEEEEEEEEEEEEEEEEPEEEEEEEEEEEEEEEEEEEPEEEEEEEEEEEEEEEEEEEPEEEEEEEEEEEEEEEEEEEPEEEEEEEEEEEEEEEEEEEPEEEEEEEEEEEEEEEEEEEPEEEEEEEEEEEEEEEEEEPEEEEEEEEEEEEEEEEEEEPEEEEEEEEEEEEEEEEEEEPEEEEEEEEEEEEEEEEEEEB
␈β _␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ␈↓
∀J
␈β ≤␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ␈↓
∀J
␈β ␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ␈↓
∀J
␈β $␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ␈↓
∀J
␈β (␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ␈↓
∀J
␈β ,␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ␈↓
∀J
␈β 0␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ␈↓
∀J
␈β 4␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ␈↓
∀J
␈β 8␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ␈↓
∀J
␈β <␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ␈↓
∀J
␈β @␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ␈↓
∀J
␈β D␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ␈↓
∀J
␈β H␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ␈↓
∀J
␈β L␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ␈↓
∀J
␈β P␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ␈↓
∀J
␈β T␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ␈↓
∀J
␈β X␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ␈↓
∀J
␈β \␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ␈↓
∀J
␈β `␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ␈↓
∀J
␈β d␈↓ ↓H␈↓ α LEEEEEEEEEEEEEEEEEEEDEEEEEEEEEEEEEEEEEEEDEEEEEEEEEEEEEEEEEEEDEEEEEEEEEEEEEEEEEEDEEEEEEEEEEEEEEEEEEEDEEEEEEEEEEEEEEEEEEEDEEEEEEEEEEEEEEEEEEEDEEEEEEEEEEEEEEEEEEEDEEEEEEEEEEEEEEEEEEEDEEEEEEEEEEEEEEEEEEDEEEEEEEEEEEEEEEEEEEDEEEEEEEEEEEEEEEEEEEDEEEEEEEEEEEEEEEEEEEF
␈β∞|) ␈ε↓
␈β2␈↓ d␈εOctober 25, 1979 15:13:01 CMR10.XGP[MF,DEK] Page 2 "The letter B"␈ε↓
␈β↓H␈↓ ↓H
␈β↓L␈↓ ↓H
␈β↓P␈↓ ↓H
␈β↓T␈↓ ↓H
␈β↓X␈↓ ↓H
␈β↓\␈↓ ↓H␈↓ α IEEEEEEEEEEEEEEEEEEEAEEEEEEEEEEEEEEEEEEEAEEEEEEEEEEEEEEEEEEEAEEEEEEEEEEEEEEEEEEAEEEEEEEEEEEEEEEEEEEAEEEEEEEEEEEEEEEEEEEAEEEEEEEEEEEEEEEEEEEAEEEEEEEEEEEEEEEEEEEAEEEEEEEEEEEEEEEEEEEAEEEEEEEEEEEEEEEEEEAEEEEEEEEEEEEEEEEEEEAEEEEEEEEEEEEEEEEEEEC
␈β↓`␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ
␈β↓d␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ
␈β↓h␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ
␈β↓l␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ
␈β↓p␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ
␈β↓t␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ
␈β↓x␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ
␈β↓|␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ
␈βα␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ
␈βα∧␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ
␈βαλ␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ
␈βα ␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ
␈βα⊂␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ
␈βα∀␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ
␈βα_␈↓ α_a1
␈βα_␈↓ β\1
␈βα_␈↓ ∧<b1
␈βα_␈↓ ε(3
␈βα_␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ
␈βα≤␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ
␈βα ␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ
␈βα$␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ
␈βα(␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ
␈βα,␈↓ ↓H␈↓ α HEEEEEEAAAAAAAAAAAAAPAAAAAAAAAAAAAAAAAAAPAAAAAAAAAAAAAAAAAAAPAAAAAAAAAAAAAAAAAAPAAAAAAAAAAAAAAAAAAAPAAAAAAAAAAAAAAAAAAAPAAAAAAAAAAAAAAAAAAAPAAAAAAAAAAAAAAAAAAEPEEEEEEEEEEEEEEEEEEEPEEEEEEEEEEEEEEEEEEPEEEEEEEEEEEEEEEEEEEPEEEEEEEEEEEEEEEEEEEB
␈βα0␈↓ ↓H␈↓ α J␈↓ α(HUUUUTRPB␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ
␈βα4␈↓ ↓H␈↓ α J␈↓ α$IUUUUTRQPAPAC␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ
␈βα8␈↓ ↓H␈↓ α J␈↓ α$HUUUUTSQPAAAC␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ
␈βα<␈↓ α4.␈↓ βh.␈↓ ∧X.␈↓ ε4.␈↓ ↓H␈↓ α J␈↓ α$HUUUUTSRQPAAC␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ
␈βα@␈↓ ↓H␈↓ α J␈↓ α$HUUUUUQAAC␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ
␈βαD␈↓ ↓H␈↓ α J␈↓ α$LUUUUURPAAC␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ
␈βαH␈↓ ↓H␈↓ α J␈↓ α(LUUUUURQPAC␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ
␈βαL␈↓ ↓H␈↓ α J␈↓ α,LDDDDDUURQDDDDDDDDDDDDDDDPDDDDDDDDDDDDDDDDDDDPDDDDDDDDDDDDDDDDDDDPDDDDUPAAB␈↓ λ$J␈↓ λtJ␈↓ DJ
␈βαP␈↓ ↓H␈↓ α J␈↓ αDLDDDDDPDUTSQDDDF␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ εLLDDDUC␈↓ λ$J␈↓ λtJ␈↓ DJ
␈βαT␈↓ ↓H␈↓ α J␈↓ α\J␈↓ αdLDDDDDUTDDDB␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ ε\LDDTSRQAC␈↓ λ$J␈↓ λtJ␈↓ DJ
␈βαX␈↓ ↓H␈↓ α J␈↓ α\J␈↓ α|LDDDUSQDF␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ εhLDTSRQAC␈↓ λ$J␈↓ λtJ␈↓ DJ
␈βα\␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β LDURQPF␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ εpLDTSRQAC␈↓ λ$J␈↓ λtJ␈↓ DJ
␈βα`␈↓ πDe2
␈βα`␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β∀LDURB␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ εxLDTSRQC␈↓ λ$J␈↓ λtJ␈↓ DJ
␈βαd␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β≤LUQPB␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πLDTSRPAC␈↓ λ$J␈↓ λtJ␈↓ DJ
␈βαh␈↓ β a2
␈βαh␈↓ β|b2
␈βαh␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β LUQB␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλHTSRQC␈↓ λ$J␈↓ λtJ␈↓ DJ
␈βαl␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β$HUPF␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλHDTSRQAC␈↓ λ$J␈↓ λtJ␈↓ DJ
␈βαp␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β$LUB␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ π⊂LDTSRQC␈↓ λ$J␈↓ λtJ␈↓ DJ
␈βαt␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β(HTSRQPB␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ π_LTSRQC␈↓ λ$J␈↓ λtJ␈↓ DJ
␈βαx␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β(HTSRQPB␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ π≤LTSRQC␈↓ λ$J␈↓ λtJ␈↓ DJ
␈βα|␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β(LTSRQPB␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ π LTSRQC␈↓ λ$J␈↓ λtJ␈↓ DJ
␈ββ␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,HTSRQB␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ π$LTSRQAB␈↓ λtJ␈↓ DJ
␈ββ∧␈↓ π`.␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,HTSRQB␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ π(LTSRQB␈↓ λtJ␈↓ DJ
␈ββλ␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,HTSRQB␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ π,HTSRQC␈↓ λtJ␈↓ DJ
␈ββ ␈↓ β<.␈↓ ∧_.␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,HTSRQB␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ π,LTSRQPC␈↓ λtJ␈↓ DJ
␈ββ⊂␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,HTSRQB␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ π0LTSRQPC␈↓ λtJ␈↓ DJ
␈ββ∀␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,HTSRQB␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ π4LTSRQPC␈↓ λtJ␈↓ DJ
␈ββ_␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,HTSRQB␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ π8HTSRQPC␈↓ λtJ␈↓ DJ
␈ββ≤␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,HTSRQB␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ π8LUC␈↓ λtJ␈↓ DJ
␈ββ ␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,HTSRQB␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ π<HUC␈↓ λtJ␈↓ DJ
␈ββ$␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,HTSRQB␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ π<LUPC␈↓ λtJ␈↓ DJ
␈ββ(␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,HTSRQB␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ π@LUPC␈↓ λtJ␈↓ DJ
␈ββ,␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,HTSRQB␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πDHUB␈↓ λtJ␈↓ DJ
␈ββ0␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,HTSRQB␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πDHUPC␈↓ λtJ␈↓ DJ
␈ββ4␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,HTSRQB␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πDLUQC␈↓ λtJ␈↓ DJ
␈ββ8␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,HTSRQB␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πHHUPB␈↓ λtJ␈↓ DJ
␈ββ<␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,HTSRQB␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πHLUQC␈↓ λtJ␈↓ DJ
␈ββ@␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,HTSRQB␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πLHUQC␈↓ λtJ␈↓ DJ
␈ββD␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,HTSRQB␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πLLUQB␈↓ λtJ␈↓ DJ
␈ββH␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,HTSRQB␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πPHUQC␈↓ λtJ␈↓ DJ
␈ββL␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,HTSRQB␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πPHUQB␈↓ λtJ␈↓ DJ
␈ββP␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,HTSRQB␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πPLUQPC␈↓ λtJ␈↓ DJ
␈ββT␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,HTSRQB␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πTHUQB␈↓ λtJ␈↓ DJ
␈ββX␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,HTSRQB␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πTHUQPC␈↓ λtJ␈↓ DJ
␈ββ\␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,HTSRQB␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πTHUQPB␈↓ λtJ␈↓ DJ
␈ββ`␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,HTSRQB␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πTLURC␈↓ λtJ␈↓ DJ
␈ββd␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,HTSRQB␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXHUQPB␈↓ λtJ␈↓ DJ
␈ββh␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,HTSRQB␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXHUQPB␈↓ λtJ␈↓ DJ
␈ββl␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,HTSRQB␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXHURC␈↓ λtJ␈↓ DJ
␈ββp␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,HTSRQB␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXHURB␈↓ λtJ␈↓ DJ
␈ββt␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,HTSRQB␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXHURB␈↓ λtJ␈↓ DJ
␈ββx␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,HTSRQB␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXHURPAB␈↓ DJ
␈ββ|␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,HTSRQB␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXHURQB␈↓ DJ
␈β∧␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,HTSRQB␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXHURQB␈↓ DJ
␈β∧∧␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,HTSRQB␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXHURQB␈↓ DJ
␈β∧λ␈↓ λ e3
␈β∧λ␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,HTSRQB␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXHURQB␈↓ DJ
␈β∧ ␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,HTSRQB␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXHDURPB␈↓ DJ
␈β∧⊂␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,HTSRQB␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ π`HURB␈↓ DJ
␈β∧∀␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,HTSRQB␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ π`HURB␈↓ DJ
␈β∧_␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,HTSRQB␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ π`HURB␈↓ DJ
␈β∧≤␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,HTSRQB␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ π`HURB␈↓ DJ
␈β∧ ␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,HTSRQB␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ π`HURB␈↓ DJ
␈β∧$␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,HTSRQB␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ π`HURB␈↓ DJ
␈β∧(␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,HTSRQB␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ π`HURB␈↓ DJ
␈β∧,␈↓ λ(.␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,HTSRQB␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ π`HURB␈↓ DJ
␈β∧0␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,HTSRQB␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ π`HURB␈↓ DJ
␈β∧4␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,HTSRQB␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ π`HURB␈↓ DJ
␈β∧8␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,HTSRQB␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ π`HURB␈↓ DJ
␈β∧<␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,HTSRQB␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ π`HURB␈↓ DJ
␈β∧@␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,HTSRQB␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ π`HURB␈↓ DJ
␈β∧D␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,HTSRQB␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ π`HURB␈↓ DJ
␈β∧H␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,HTSRQB␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ π`HURB␈↓ DJ
␈β∧L␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,HTSRQB␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXHAURPB␈↓ DJ
␈β∧P␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,HTSRQB␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXHURQB␈↓ DJ
␈β∧T␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,HTSRQB␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXHURQB␈↓ DJ
␈β∧X␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,HTSRQB␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXHURQB␈↓ DJ
␈β∧\␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,HTSRQB␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXHURQB␈↓ DJ
␈β∧`␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,HTSRQB␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXHURPDB␈↓ DJ
␈β∧d␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,HTSRQB␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXHURB␈↓ λtJ␈↓ DJ
␈β∧h␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,HTSRQB␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXHURB␈↓ λtJ␈↓ DJ
␈β∧l␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,HTSRQB␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXHURF␈↓ λtJ␈↓ DJ
␈β∧p␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,HTSRQB␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXHUQPB␈↓ λtJ␈↓ DJ
␈β∧t␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,HTSRQB␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXHUQPB␈↓ λtJ␈↓ DJ
␈β∧x␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,HTSRQB␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πTIURF␈↓ λtJ␈↓ DJ
␈β∧|␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,HTSRQB␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πTHUQPB␈↓ λtJ␈↓ DJ
␈β¬␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,HTSRQB␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πTHUQPF␈↓ λtJ␈↓ DJ
␈β¬∧␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,HTSRQB␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πTHUQB␈↓ λtJ␈↓ DJ
␈β¬λ␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,HTSRQB␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πPIUQPF␈↓ λtJ␈↓ DJ
␈β¬ ␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,HTSRQB␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πPHUQB␈↓ λtJ␈↓ DJ
␈β¬⊂␈↓ ↓H␈↓ α HEEEEEEEEEEEEEEEEEEEPEEEEEEEEEEEEEEEEEEEUEEEEEEEPEEEEEEEEEEEEEEEEEEEPEEEEEEEEEEEEEEEEEEEPEEEEEEEEEEEEEEEEEEEPEEEEEEEEEEEEEEEEEEEPEEEEEEEEEEEEEEEEAUQPDEEEEEPEEEEEEEEEEEEEEEEEEEB
␈β¬∀␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,HTSRQB␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πLHUQB␈↓ λtJ␈↓ DJ
␈β¬_␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,HTSRQB␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πLHUQF␈↓ λtJ␈↓ DJ
␈β¬≤␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,HTSRQB␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πHIUQF␈↓ λtJ␈↓ DJ
␈β¬ ␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,HTSRQB␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πHHUPB␈↓ λtJ␈↓ DJ
␈β¬$␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,HTSRQB␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πDIUQF␈↓ λtJ␈↓ DJ
␈β¬(␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,HTSRQB␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πDHUPF␈↓ λtJ␈↓ DJ
␈β¬,␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,HTSRQB␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πDHUB␈↓ λtJ␈↓ DJ
␈β¬0␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,HTSRQB␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ π@IUPF␈↓ λtJ␈↓ DJ
␈β¬4␈↓ πDe4
␈β¬4␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,HTSRQB␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ π<IUPF␈↓ λtJ␈↓ DJ
␈β¬8␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,HTSRQB␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ π<HUF␈↓ λtJ␈↓ DJ
␈β¬<␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,HTSRQB␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ π8IUF␈↓ λtJ␈↓ DJ
␈β¬@␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,HTSRQB␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ π8HTSRQPF␈↓ λtJ␈↓ DJ
␈β¬D␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,HTSRQB␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ π4ITSRQPF␈↓ λtJ␈↓ DJ
␈β¬H␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,HTSRQB␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ π0ITSRQPF␈↓ λtJ␈↓ DJ
␈β¬L␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,HTSRQB␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ π,ITSRQPF␈↓ λtJ␈↓ DJ
␈β¬P␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,HTSRQB␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ π,HTSRQF␈↓ λtJ␈↓ DJ
␈β¬T␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,HTSRQB␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ π(ITSRQB␈↓ λtJ␈↓ DJ
␈β¬X␈↓ π`.␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,HTSRQB␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ π$ITSRQDB␈↓ λtJ␈↓ DJ
␈β¬\␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,HTSRQB␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ π ITSRQF␈↓ λ$J␈↓ λtJ␈↓ DJ
␈β¬`␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,HTSRQB␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ π≤ITSRQF␈↓ λ$J␈↓ λtJ␈↓ DJ
␈β¬d␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,HTSRQB␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ π_ITSRQF␈↓ λ$J␈↓ λtJ␈↓ DJ
␈β¬h␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,HTSRQB␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ π⊂IATSRQF␈↓ λ$J␈↓ λtJ␈↓ DJ
␈β¬l␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,HTSRQB␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλHATSRQDF␈↓ λ$J␈↓ λtJ␈↓ DJ
␈β¬p␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,HTSRQB␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλHTSRQF␈↓ λ$J␈↓ λtJ␈↓ DJ
␈β¬t␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,HTSRQB␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πIATSRPDF␈↓ λ$J␈↓ λtJ␈↓ DJ
␈β¬x␈↓ β\5
␈β¬x␈↓ ε_e5
␈β¬x␈↓ λ≤4
␈β¬x␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,HTSRQB␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ εxIATSRQF␈↓ λ$J␈↓ λtJ␈↓ DJ
␈β¬|␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,HTSRQB␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ εpIATSRQDF␈↓ λ$J␈↓ λtJ␈↓ DJ
␈βε␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,HTSRQB␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ εhIATSRQDF␈↓ λ$J␈↓ λtJ␈↓ DJ
␈βε∧␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,HTSRQB␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ ε\IAATSRQDF␈↓ λ$J␈↓ λtJ␈↓ DJ
␈βελ␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,HTSRQB␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ εLIAAAUF␈↓ λ$J␈↓ λtJ␈↓ DJ
␈βε ␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,HTSRQPAAAAAAAPAAAAAAAAAAAAAAAAAAAPAAAAAAAAAAAAAAAAAAAPAAAAAAAAAAAAAAAAAAAPAAAAUPDDB␈↓ λ$J␈↓ λtJ␈↓ DJ
␈βε⊂␈↓ εh6
␈βε⊂␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,HUUUURQDF␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ
␈βε∀␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,HUUUURPB␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ
␈βε_␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,HUUUURQC␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ
␈βε≤␈↓ βh.␈↓ ε4.␈↓ ε\.␈↓ λ(.␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,HUUUURQPAAAB␈↓ λ$J␈↓ λtJ␈↓ DJ
␈βε ␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,HUUUUSQPAC␈↓ λ$J␈↓ λtJ␈↓ DJ
␈βε$␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,HUUUUSRPAAC␈↓ λ$J␈↓ λtJ␈↓ DJ
␈βε(␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,HUUUUTAC␈↓ λ$J␈↓ λtJ␈↓ DJ
␈βε,␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,HTSRQPDDDDDDDPDDDDDDDDDDDDDDDDDDDPDDDDDDDDDDDDDDDDDDDPDDDDDDDDDDDDDDDDDDDPDDDDDDDDDDDDDUQAC␈↓ λ$J␈↓ λtJ␈↓ DJ
␈βε0␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,HTSRQB␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ εpLDDDDTSRQPAC␈↓ λ$J␈↓ λtJ␈↓ DJ
␈βε4␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,HTSRQB␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ π∧LPDTSRQAC␈↓ λ$J␈↓ λtJ␈↓ DJ
␈βε8␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,HTSRQB␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ π⊂LDTSRQAC␈↓ λ$J␈↓ λtJ␈↓ DJ
␈βε<␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,HTSRQB␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ π_LDTSRQAC␈↓ λ$J␈↓ λtJ␈↓ DJ
␈βε@␈↓ πlf2
␈βε@␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,HTSRQB␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ π LDTSRQAB␈↓ λtJ␈↓ DJ
␈βεD␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,HTSRQB␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ π(LDTSRQC␈↓ λtJ␈↓ DJ
␈βεH␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,HTSRQB␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ π0LTSRQC␈↓ λtJ␈↓ DJ
␈βεL␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,HTSRQB␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ π4LTSRQC␈↓ λtJ␈↓ DJ
␈βεP␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,HTSRQB␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ π8LDTSRPAC␈↓ λtJ␈↓ DJ
␈βεT␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,HTSRQB␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ π@LTSRQC␈↓ λtJ␈↓ DJ
␈βεX␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,HTSRQB␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πDLTSRQC␈↓ λtJ␈↓ DJ
␈βε\␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,HTSRQB␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πHLTSRQC␈↓ λtJ␈↓ DJ
␈βε`␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,HTSRQB␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πLLTSRQC␈↓ λtJ␈↓ DJ
␈βεd␈↓ λλ.␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,HTSRQB␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πPHTSRQC␈↓ λtJ␈↓ DJ
␈βεh␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,HTSRQB␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πPLTSRQPC␈↓ λtJ␈↓ DJ
␈βεl␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,HTSRQB␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πTLTSRQPC␈↓ λtJ␈↓ DJ
␈βεp␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,HTSRQB␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXHTSRQPC␈↓ λtJ␈↓ DJ
␈βεt␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,HTSRQB␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXHUC␈↓ λtJ␈↓ DJ
␈βεx␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,HTSRQB␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXHDUC␈↓ λtJ␈↓ DJ
␈βε|␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,HTSRQB␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ π`LUC␈↓ λtJ␈↓ DJ
␈βπ␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,HTSRQB␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ πdHUC␈↓ λtJ␈↓ DJ
␈βπ∧␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,HTSRQB␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ πdLUPC␈↓ λtJ␈↓ DJ
␈βπλ␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,HTSRQB␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ πhHUB␈↓ λtJ␈↓ DJ
␈βπ ␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,HTSRQB␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ πhLUPAB␈↓ DJ
␈βπ⊂␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,HTSRQB␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ πlHUPB␈↓ DJ
␈βπ∀␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,HTSRQB␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ πlLUQC␈↓ DJ
␈βπ_␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,HTSRQB␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ πpHUPB␈↓ DJ
␈βπ≤␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,HTSRQB␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ πpLUQC␈↓ DJ
␈βπ ␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,HTSRQB␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ πtHUQC␈↓ DJ
␈βπ$␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,HTSRQB␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ πtHUQB␈↓ DJ
␈βπ(␈↓ ↓H␈↓ α HEEEEEEEEEEEEEEEEEEEPEEEEEEEEEEEEEEEEEEEUEEEEEEEPEEEEEEEEEEEEEEEEEEEPEEEEEEEEEEEEEEEEEEEPEEEEEEEEEEEEEEEEEEEPEEEEEEEEEEEEEEEEEEEPEEEEEEEEEEEEEEEEEEEPEEEEEEDUQPAEEEEEEEEEEEEEEEB
␈βπ,␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,HTSRQB␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ πxHUQB␈↓ DJ
␈βπ0␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,HTSRQB␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ πxHUQPC␈↓ DJ
␈βπ4␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,HTSRQB␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ πxLUQPB␈↓ DJ
␈βπ8␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,HTSRQB␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ π|HUQPC␈↓ DJ
␈βπ<␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,HTSRQB␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ π|HUQPB␈↓ DJ
␈βπ@␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,HTSRQB␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ π|LURC␈↓ DJ
␈βπD␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,HTSRQB␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ λHUQPB␈↓ DJ
␈βπH␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,HTSRQB␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ λHUQPB␈↓ DJ
␈βπL␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,HTSRQB␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ λHURC␈↓ DJ
␈βπP␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,HTSRQB␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ λHURB␈↓ DJ
␈βπT␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,HTSRQB␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ λLURB␈↓ DJ
␈βπX␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,HTSRQB␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ λ∧HURC␈↓ DJ
␈βπ\␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,HTSRQB␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ λ∧HURB␈↓ DJ
␈βπ`␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,HTSRQB␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ λ∧HURB␈↓ DJ
␈βπd␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,HTSRQB␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ λ∧HURB␈↓ DJ
␈βπh␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,HTSRQB␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ λ∧HURB␈↓ DJ
␈βπl␈↓ λ4f3
␈βπl␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,HTSRQB␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ λ∧LURPC␈↓ DJ
␈βπp␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,HTSRQB␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ λλHURB␈↓ DJ
␈βπt␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,HTSRQB␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ λλHURB␈↓ DJ
␈βπx␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,HTSRQB␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ λλHURB␈↓ DJ
␈βπ|␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,HTSRQB␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ λλHURB␈↓ DJ
␈βλ␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,HTSRQB␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ λλHURB␈↓ DJ
␈βλ∧␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,HTSRQB␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ λλHURB␈↓ DJ
␈βλλ␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,HTSRQB␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ λλHURB␈↓ DJ
␈βλ ␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,HTSRQB␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ λλHURB␈↓ DJ
␈βλ⊂␈↓ λP.␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,HTSRQB␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ λλHURB␈↓ DJ
␈βλ∀␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,HTSRQB␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ λλHURB␈↓ DJ
␈βλ_␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,HTSRQB␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ λλHURB␈↓ DJ
␈βλ≤␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,HTSRQB␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ λλHURB␈↓ DJ
␈βλ ␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,HTSRQB␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ λλHURB␈↓ DJ
␈βλ$␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,HTSRQB␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ λλHURB␈↓ DJ
␈βλ(␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,HTSRQB␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ λλHURB␈↓ DJ
␈βλ,␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,HTSRQB␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ λλHURB␈↓ DJ
␈βλ0␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,HTSRQB␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ λ∧IURPF␈↓ DJ
␈βλ4␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,HTSRQB␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ λ∧HURB␈↓ DJ
␈βλ8␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,HTSRQB␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ λ∧HURB␈↓ DJ
␈βλ<␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,HTSRQB␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ λ∧HURB␈↓ DJ
␈βλ@␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,HTSRQB␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ λ∧HURB␈↓ DJ
␈βλD␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,HTSRQB␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ λ∧HURF␈↓ DJ
␈βλH␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,HTSRQB␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ λIURB␈↓ DJ
␈βλL␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,HTSRQB␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ λHURB␈↓ DJ
␈βλP␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,HTSRQB␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ λHURF␈↓ DJ
␈βλT␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,HTSRQB␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ λHUQPB␈↓ DJ
␈βλX␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,HTSRQB␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ λHUQPB␈↓ DJ
␈βλ\␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,HTSRQB␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ π|IURF␈↓ DJ
␈βλ`␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,HTSRQB␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ π|HUQPB␈↓ DJ
␈βλd␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,HTSRQB␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ π|HUQPF␈↓ DJ
␈βλh␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,HTSRQB␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ πxIUQPB␈↓ DJ
␈βλl␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,HTSRQB␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ πxHUQPF␈↓ DJ
␈βλp␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,HTSRQB␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ πxHUQB␈↓ DJ
␈βλt␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,HTSRQB␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ πtIUQPF␈↓ DJ
␈βλx␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,HTSRQB␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ πtHUQB␈↓ DJ
␈βλ|␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,HTSRQB␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ πtHUQF␈↓ DJ
␈β ␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,HTSRQB␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ πpIUQF␈↓ DJ
␈β ∧␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,HTSRQB␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ πpHUPB␈↓ DJ
␈β λ␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,HTSRQB␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ πlIUQF␈↓ DJ
␈β ␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,HTSRQB␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ πlHUPB␈↓ DJ
␈β ⊂␈↓ β c2
␈β ⊂␈↓ β|d2
␈β ⊂␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,HTSRQB␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ πhIUPDB␈↓ DJ
␈β ∀␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,HTSRQB␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ πhHUB␈↓ λtJ␈↓ DJ
␈β _␈↓ πlf4
␈β _␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,HTSRQB␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ πdIUPF␈↓ λtJ␈↓ DJ
␈β ≤␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,HTSRQB␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ πdHUF␈↓ λtJ␈↓ DJ
␈β ␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,HTSRQB␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ π`IUF␈↓ λtJ␈↓ DJ
␈β $␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,HTSRQB␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXHAUF␈↓ λtJ␈↓ DJ
␈β (␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,HTSRQB␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXHUF␈↓ λtJ␈↓ DJ
␈β ,␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,HTSRQB␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXHTSRQPF␈↓ λtJ␈↓ DJ
␈β 0␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,HTSRQB␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πTITSRQPF␈↓ λtJ␈↓ DJ
␈β 4␈↓ β<.␈↓ ∧_.␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,HTSRQB␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πPITSRQPF␈↓ λtJ␈↓ DJ
␈β 8␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,HTSRQB␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πPHTSRQF␈↓ λtJ␈↓ DJ
␈β <␈↓ λλ.␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,HTSRQB␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πLITSRQF␈↓ λtJ␈↓ DJ
␈β @␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β(ITSRQPB␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πHITSRQF␈↓ λtJ␈↓ DJ
␈β D␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β(HTSRQPB␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πDITSRQF␈↓ λtJ␈↓ DJ
␈β H␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β(HTSRQPB␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ π@ITSRQF␈↓ λtJ␈↓ DJ
␈β L␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β$IUB␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ π8IATSRPDF␈↓ λtJ␈↓ DJ
␈β P␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β$HUPC␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ π4ITSRQF␈↓ λtJ␈↓ DJ
␈β T␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β IUQB␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ π0ITSRQF␈↓ λtJ␈↓ DJ
␈β X␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β≤IUQPB␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ π(IATSRQF␈↓ λtJ␈↓ DJ
␈β \␈↓ α_c1
␈β \␈↓ β\2
␈β \␈↓ ∧<d1
␈β \␈↓ ε@f5
␈β \␈↓ λD7
␈β \␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β∀IAURB␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ π IATSRQDB␈↓ λtJ␈↓ DJ
␈β `␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β IAURQPC␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ π_IATSRQDF␈↓ λ$J␈↓ λtJ␈↓ DJ
␈β d␈↓ ↓H␈↓ α J␈↓ α\J␈↓ α|IAAAUSQAC␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ π⊂IATSRQDF␈↓ λ$J␈↓ λtJ␈↓ DJ
␈β h␈↓ ↓H␈↓ α J␈↓ α\J␈↓ αdIAAAAAUTAAAB␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ π∧IPATSRQDF␈↓ λ$J␈↓ λtJ␈↓ DJ
␈β l␈↓ ↓H␈↓ α J␈↓ αDIAAAAAPAUTSQAAAC␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ εpIAAAATSRQPDF␈↓ λ$J␈↓ λtJ␈↓ DJ
␈β p␈↓ ↓H␈↓ α J␈↓ α,IAAAAAUURQAAAAAAAAAAAAAAAPAAAAAAAAAAAAAAAAAAAPAAAAAAAAAAAAAAAAAAAPAAAAAAAAAAAAAUQDF␈↓ λ$J␈↓ λtJ␈↓ DJ
␈β t␈↓ ↓H␈↓ α J␈↓ α(IUUUUUTPDF␈↓ λ$J␈↓ λtJ␈↓ DJ
␈β x␈↓ ↓H␈↓ α J␈↓ α$IUUUUUSRQPDDF␈↓ λ$J␈↓ λtJ␈↓ DJ
␈β |␈↓ ↓H␈↓ α J␈↓ α$HUUUUUSRPDF␈↓ λ$J␈↓ λtJ␈↓ DJ
␈β
␈↓ α4.␈↓ βh.␈↓ ∧X.␈↓ ε\.␈↓ λP.␈↓ ↓H␈↓ α J␈↓ α$HUUUUUSPDDDB␈↓ λ$J␈↓ λtJ␈↓ DJ
␈β
∧␈↓ ↓H␈↓ α J␈↓ α$HUUUUURPDDDF␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ
␈β
λ␈↓ ↓H␈↓ α J␈↓ α$LUUUUUPDDDF␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ
␈β
␈↓ ↓H␈↓ α J␈↓ α(HUUUUTSRQPB␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ
␈β
⊂␈↓ ↓H␈↓ α HEEEEEEDDDDDDDDDDDDDPDDDDDDDDDDDDDDDDDDDPDDDDDDDDDDDDDDDDDDDPDDDDDDDDDDDDDDDDDDPDDDDDDDDDDDDDDDDDDDPDDDDDDDDDDDDDDDDDDDPDDDDDDDDDDDDDDDDDDDPDDDDDDDDDDDDDDDDDDDPDDDDDDDDEEEEEEEEEEEPEEEEEEEEEEEEEEEEEEPEEEEEEEEEEEEEEEEEEEPEEEEEEEEEEEEEEEEEEEB
␈β
∀␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ
␈β
_␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ
␈β
≤␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ
␈β
␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ
␈β
$␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ
␈β
(␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ
␈β
,␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ
␈β
0␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ
␈β
4␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ
␈β
8␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ
␈β
<␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ
␈β
@␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ
␈β
D␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ
␈β
H␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ
␈β
L␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ
␈β
P␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ
␈β
T␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ
␈β
X␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ
␈β
\␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ
␈β
`␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ
␈β
d␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ
␈β
h␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ
␈β
l␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ
␈β
p␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ
␈β
t␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ
␈β
x␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ
␈β
|␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ
␈β ␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ
␈β ∧␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ
␈β λ␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ
␈β ␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ
␈β ⊂␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ
␈β ∀␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ
␈β _␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ
␈β ≤␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ
␈β ␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ
␈β $␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ
␈β (␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ
␈β ,␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ
␈β 0␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ
␈β 4␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ
␈β 8␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ
␈β <␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ
␈β @␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ
␈β D␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ
␈β H␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ
␈β L␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ
␈β P␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ
␈β T␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ
␈β X␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ
␈β \␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ
␈β `␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ
␈β d␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ
␈β h␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ
␈β l␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ
␈β p␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ
␈β t␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ
␈β x␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ
␈β |␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ
␈β ␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ
␈β ∧␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ
␈β λ␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ
␈β ␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ
␈β ⊂␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ
␈β ∀␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ
␈β _␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ
␈β ≤␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ
␈β ␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ
␈β $␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ
␈β (␈↓ ↓H␈↓ α HEEEEEEEEEEEEEEEEEEEPEEEEEEEEEEEEEEEEEEEPEEEEEEEEEEEEEEEEEEEPEEEEEEEEEEEEEEEEEEPEEEEEEEEEEEEEEEEEEEPEEEEEEEEEEEEEEEEEEEPEEEEEEEEEEEEEEEEEEEPEEEEEEEEEEEEEEEEEEEPEEEEEEEEEEEEEEEEEEEPEEEEEEEEEEEEEEEEEEPEEEEEEEEEEEEEEEEEEEPEEEEEEEEEEEEEEEEEEEB
␈β ,␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ
␈β 0␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ
␈β 4␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ
␈β 8␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ
␈β <␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ
␈β @␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ
␈β D␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ
␈β H␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ
␈β L␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ
␈β P␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ
␈β T␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ
␈β X␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ
␈β \␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ
␈β `␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ
␈β d␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ
␈β h␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ
␈β l␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ
␈β p␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ
␈β t␈↓ ↓H␈↓ α J␈↓ α\J␈↓ β,J␈↓ β|J␈↓ ∧HJ␈↓ ¬_J␈↓ ¬hJ␈↓ ε8J␈↓ πλJ␈↓ πXJ␈↓ λ$J␈↓ λtJ␈↓ DJ
␈β x␈↓ ↓H␈↓ α LEEEEEEEEEEEEEEEEEEEDEEEEEEEEEEEEEEEEEEEDEEEEEEEEEEEEEEEEEEEDEEEEEEEEEEEEEEEEEEDEEEEEEEEEEEEEEEEEEEDEEEEEEEEEEEEEEEEEEEDEEEEEEEEEEEEEEEEEEEDEEEEEEEEEEEEEEEEEEEDEEEEEEEEEEEEEEEEEEEDEEEEEEEEEEEEEEEEEEDEEEEEEEEEEEEEEEEEEEDEEEEEEEEEEEEEEEEEEEF
␈β∂⊂